Logical Difference and Module Extraction with CEX and MEX

نویسندگان

  • Boris Konev
  • Carsten Lutz
  • Dirk Walther
  • Frank Wolter
چکیده

– The module extraction problem: given a terminology T1 and a signature Σ, extract from T1 a minimal self-contained terminology T0 such that T1 and T0 imply the same dependencies between Σ-terms. – The logical diff problem: given a signature Σ and two versions T0 and T1 of a terminology, check whether T0 and T1 are logically different in the sense that they do not imply the same dependencies between Σ-terms.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Comparison of the Effects of Modern Assessment Methods (DOPS and Mini-CEX) with traditional method on Nursing Students' Clinical Skills: A Randomized Trial

Introduction: Student assessment is of the most important responsibilities of a clinical teacher. Application of new methods of assessment is necessary due to significant improvement in clinical teaching methods. In the meantime, new assessment approaches that simultaneously enforce learning have been greeted more than other methods. Therefore, this study was conducted to compare the new method...

متن کامل

The Logical Difference Problem for Description Logic Terminologies

We consider the problem of computing the logical difference between distinct versions of description logic terminologies. For the lightweight description logic EL, we present a tractable algorithm which, given two terminologies and a signature, outputs a set of concepts, which can be regarded as the logical difference between the two terminologies. As a consequence, the algorithm can also decid...

متن کامل

Effects of structured written feedback by cards on medical students’ performance at mini clinical evaluation exercise (Mini-CEX) in an outpatient clinic

Introduction: Feedback cards are recommended as a feasible toolfor structured written feedback delivery in clinical education whileeffectiveness of this tool on the medical students’ performanceis still questionable. The purpose of this study was to comparethe effects of structured written feedback by cards as well asverbal feedback versus verbal feedback alone on the clinicalperformance of med...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2008